do while statement in php